منابع مشابه
Typed Intermediate Languages
Programs written in a typed language are guaranteed to satisfy the safety properties of the type system without runtime checks. A type system for an intermediate language allows static verification of safety properties independent of source languages, and opens up opportunities for advanced compiler optimizations. This paper surveys three major intermediate languages: Java bytecode, typed assem...
متن کاملHenk: a typed intermediate language
There is growing interest in the use of richly-typed intermediate languages in sophisticated compilers for higher-order, typed source languages. These intermediate languages are typically stratiied, involving terms, types, and kinds. As the sophistication of the type system increases, these three levels begin to look more and more similar, so an attractive approach is to use a single syntax, an...
متن کاملTyped Intermediate Languages for Shape Analysis
We introduce S2, a typed intermediate language for vectors, based on a 2level type-theory, which distinguishes between compile-time and run-time. The paper shows how S2 can be used to extract useful information from programs written in the Nested Sequence Calculus NSC, an idealized high-level parallel calculus for nested sequences. We study two translations from NSC to S2. The most interesting ...
متن کاملA Compact Intermediate Format for SIMICS
Instruction set architecture (ISA) simulators are an increasingly popular class of tools for both research and commercial purposes. Common applications include trace generation, program development, and compatibility support. A major concern with ISA simulators is performance and memory overhead. A common technique for achieving good performance is to use threaded code, which involves translati...
متن کاملCommon Industry Format Usability Tests
A Common Industry Format for usability test reports is currently being agreed between major software suppliers and purchasers in an initiative co-ordinated by NIST. The objective is to raise the profile of usability in the procurement process, and to demonstrate the consequent benefits of acquiring products with increased usability. For the reports to be useful, they should contain reliable mea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGSOFT Software Engineering Notes
سال: 2000
ISSN: 0163-5948
DOI: 10.1145/340855.341019